PSL[2]

Process Specification Language

A process interchange language that will allow manufacturing applications to exchange discrete process data. All concepts in PSL are formally defined, using KIF.